<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
"http://www.w3.org/TR/html4/strict.dtd">
<html>
<title>C typechecker in Ocaml</title>
<link rel="stylesheet" href="http://cs.nyu.edu/rgrimm/bedrock.css"
  type="text/css">
</head>

<!-- ================================================================== -->

<body>
<h1 class="title">C typechecker in Ocaml</h1>

<!-- ================================================================== -->

<dl>
This package implements a C typechecker in Ocaml. Part of the codes are borrowed
from CIL. The followings are some details on which files are from CIL, with or
without being modified.<br/>

The files borrowed from CIL without being modified include: 
<em>cabshelper.ml</em>, <em>cabs.ml</em>, <em>cprint.ml</em>, 
<em>errormsg.mli</em>, <em>errormsg.ml</em>, <em>escape.mli</em>,
<em>escape.ml</em>, <em>growArray.mli</em>, <em>growArray.ml</em>,
<em>inthash.mli</em>, <em>inthash.ml</em>, <em>lexerhack.ml</em>,
<em>longarray.mli</em>, <em>longarray.ml</em>, <em>machdep.ml</em>,
<em>pretty.mli</em>, <em>pretty.ml</em>, <em>table.ml</em>,
<em>trace.mli</em>, <em>trace.ml</em>, <em>whitetrack.mli</em>,
<em>whitetrack.ml</em>. <br/>

The files borrowed and modified from CIL include: 
<em>cily.mli</em>, <em>cily.ml</em>, <em>clexer.mll</em>, <em>clexer.mli</em>,
<em>clexer.ml</em>, <em>cparser.mly</em>, <em>cparser.mli</em>,
<em>cparser.ml</em>, <em>frontc.mli</em>, <em>frontc.ml</em>
<br/>

The other files are written based on the C typechecker in Typical.

</dl>

</body>
</html>
